30061. Verification and validation in systems engineering
پدیدآورنده: / Mourad Debbabi ... [et al.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Systems engineering.,Expert systems (Computer science)--Verification,Expert systems (Computer science)--Validation,UML (Computer science),SysML (Computer science),Systementwicklung--swd,UML--swd,SysML--swd,Software Engineering--swd,Softwaremetrie--swd,Programmanalyse--swd,Verifikation--swd,Validierung--swd,Leistungsbewertung--swd
رده :
QA
,
76
.
76
,.
E95
,
V47
,
2010
30062. Verification and validation in systems engineering
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Systems engineering. ; Expert systems (Computer science) ; Verification. ; Expert systems (Computer science) ; Validation. ; UML (Computer science) ; SysML (Computer science) ; Systementwicklung ; swd. ; UML ; swd. ; SysML ; swd. ; Software Engineering ;
30063. Verification and validation in systems engineering : assessing UML/SysML design models
پدیدآورنده: Mourad Debbabi ... ]et al.[
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Systems engineering,Verification ، Expert systems )Computer science(,Validation ، Expert systems )Computer science(,، UML )Computer science(,، SysML )Computer science(
رده :
QA
76
.
76
.
E95
V47
2010
30064. Verification and validation of rule-based expert systems]CD[
پدیدآورنده: Smith, Suzanne, Suzanne Smith, Abraham Kandel
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Expert systems )Computer science(,Verification ، Computer software,Validation ، Computer software
رده :
CD
1748-83
30065. Verification and validation of rule-based expert systems
پدیدآورنده: / Suzanne Smith, Abraham Kandel
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Expert systems (Computer science),Computer software- Verification,Computer software- Validation
رده :
QA76
.
76
.
E95
,
S66
1993
30066. Verification, induction, termination analysis
پدیدآورنده: Simon Siegler, Nathan Wasser (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Walther, Christoph,Functional programming (Computer science)
رده :
QA76
.
62
.
V47
2010eb
30067. Verification of Business Rules Programs
پدیدآورنده: / Da Silva-Bruno Berstel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
30068. Verification of Sequential and Concurrent Programs
پدیدآورنده: by Krzysztof R. Apt, Ernst-Rüdiger Olderog.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Logic design.
رده :
QA76
.
76
.
V47
B957
1997
30069. Verification of object-oriented software
پدیدآورنده: / Bernhard Beckert, Reiner Heahnle, Peter H. Schmitt (eds.)
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Computer software--Verification,Object-oriented methods (Computer science),Java (Computer program language)
رده :
QA
,
76
.
76
,.
V47
,
V474
,
2007
30070. Verification of object-oriented software : the KeY approach
پدیدآورنده: Bernhard Beckert, Reiner Hahnle, Peter H. Schmitt )eds.(; foreword by K. Rustan M. Leino
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computer software -- Verification,، Object-oriented methods )Computer science(,، Java )Computer program language(
رده :
QA
76
.
L28
Vol
.
4334
30071. Verification of reactive systems
پدیدآورنده: / Klaus Schneider
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer systems- - Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2003
30072. Verification of reactive systems
پدیدآورنده: / Klaus Schneider
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer systems -- Verification,Formal methods (computer science),Computer algorithms
رده :
QA
76
.
76
.
V47S34
2004
30073. Verification of reactive systems :
پدیدآورنده: Klaus Schneider.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer algorithms.,Computer systems -- Verification.,Formal methods (Computer science)
رده :
QA76
.
76
.
V47
K538
2004
30074. Verification of reactive systems: formal methods and algorithms
پدیدآورنده: Schneider, Klaus
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer systems-- Verification,، Formal methods )Computer science(,، Computer algorithms
رده :
QA
76
.
76
.
V47
.
S34
2003
30075. Verification techniques for system-level design
پدیدآورنده: Fujita, Masahiro
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Systems on a chip-- Testing,، Integrated circuits-- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42
.
F95
2008
30076. Verification techniques for system-level design /
پدیدآورنده: Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Formal methods (Computer science),Integrated circuits-- Verification.,Systems on a chip-- Testing.,Formal methods (Computer science),Formal methods (Computer science),Integrated circuits-- Verification.,Integrated circuits-- Verification.,Systems on a chip-- Testing.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7895
.
E42
F95
2008eb
30077. Verification techniques for system-level design
پدیدآورنده: Fujita, Masahiro, 6591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Testing ، Systems on a chip,، Integrated circuits -- Verification,، Formal methods )Computer science(
رده :
TK
7895
.
E42F84
30078. Verification techniques for system-level design
پدیدآورنده: / Masahiro Fujita, Indradeep Ghosh, and Mukul Prasad
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Systems on a chip -- Testing,Integrated circuits -- Verification,Formal methods (computer science)
رده :
TK7895
.
E42F95
2008
30079. Verified Software: Theories, Tools, Experiments
پدیدآورنده: / Hearn, Sriram K. RajamaniبGary T. Leavens, Peter O
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
30080. Verified Software: Theories, Tools, Experiments
پدیدآورنده: / Ernie Cohen, Andrey Rybalchenko
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
